Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics

Source URL: www.gatsby.ucl.ac.uk

On the Resiliency of Unit Propagation to Max-Resolution

Source URL: ijcai.org

Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

Source URL: www.loria.fr

• Mathematical logic
• Resolution
• Unit propagation
• Entailment
• Logic
• Automated theorem proving
• Rules of inference

Resolution versus Search: Two Strategies for SAT  Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine

Source URL: www.ics.uci.edu

• Mathematics
• Automated theorem proving
• Logic in computer science
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Conjunctive normal form
• Unit propagation
• Resolution
• Theoretical computer science
• Constraint programming
• Applied mathematics

D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei

Source URL: tidel.mie.utoronto.ca

• Constraint programming
• Mathematics
• DPLL algorithm
• Knowledge compilation
• Connectivity
• Influence diagram
• Bayesian network
• Unit propagation
• Theoretical computer science
• Automated theorem proving
• Applied mathematics

Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006

Source URL: www.cs.toronto.edu

• Model theory
• Propositional calculus
• Rules of inference
• Resolution
• First-order logic
• Interpretation
• Deduction theorem
• Inference
• Unit propagation
• Logic
• Mathematical logic
• Automated theorem proving

doi:j.ipl

Source URL: www.cc.ntut.edu.tw

• Automated theorem proving
• NP-complete problems
• Unit propagation
• 2-satisfiability
• Time complexity
• Variable
• MAX-3SAT
• (SAT
• ε-UNSAT)
• Theoretical computer science
• Mathematics
• Computational complexity theory

Automated Deduction by Theory Resolution Mark Stickel

Source URL: www.cs.toronto.edu

• Logic
• Unit propagation
• Resolution
• Mathematical logic
• Logic programming
• Theory
• Automated theorem proving
• Mathematics
• Science

The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico

Source URL: cjtcs.cs.uchicago.edu

• Automated theorem proving
• NP-complete problems
• Logic in computer science
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Resolution
• Unit propagation
• Constraint satisfaction
• Theoretical computer science
• Mathematics
• Applied mathematics

PHYSICAL REVIEW SPECIAL TOPICS - ACCELERATORS AND BEAMS 17, Time-dependent wave front propagation simulation of a hard x-ray split-and-delay unit: Towards a measurement of the temporal coherence properties

Source URL: pubdb.xfel.eu

• Quantum optics
• Medical equipment
• Coherence
• Free-electron laser
• Laser
• European x-ray free electron laser
• Michelson interferometer
• Wavefront
• Diffraction
• Physics
• Optics
• Wave mechanics